backward inductions

向后归纳